🔄 CPS Transform

Continuation Passing Style, Control Flow, Tail Calls, Functional Compilers

A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·14h·
Discuss: Hacker News
🌱Minimal Lisps
Balance between refactoring and inheritance in your code
github.com·15h·
Discuss: Hacker News
🧪Compiler Testing
In-depth Review of Emacs tree-sitter integration
archive.casouri.cc·4h·
Discuss: Lobsters
🌲Tree-sitter
What happens when you run a program?
dev.to·11h·
Discuss: DEV
📜Bytecode Interpreters
How to Debug Chez Scheme Programs (2002)
scheme.com·5h·
Discuss: Hacker News
💬Error Message Design
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·18h
🪢Rope Data Structures
What is Algebraic about Algebraic Effects?
interjectedfuture.com·11h
💫Effect Systems
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·12h·
Discuss: www.blogger.com
🔮Lisp Interpreters
A (Nearly) Branchless RESP Request Parser
kevinmontrose.com·15h
🔧Error Recovery
In Defense of C++
dayvster.com·1d·
Discuss: r/cpp
⚡Zig
How to build a Laravel Blade–like template engine in TypeScript?
reddit.com·7h·
Discuss: r/typescript
📋Template Compilers
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·23h
⏭️Skip Lists
Introducing the Constexpr Debugger
blog.jetbrains.com·19h·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp
🔍Debugging Compilers
Is Recursion in LLMs a Path to Efficiency and Quality?
pub.towardsai.net·3h
🪜Recursive Descent
Asynchronous Exceptions in Practice (2017)
simonmar.github.io·8h·
Discuss: Hacker News
🔗Concurrency Primitives
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Greyscale-box test-driven development
blog.ploeh.dk·8h
🧪Compiler Testing
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·1d·
Discuss: Hacker News
⚡functional programming
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·14h·
Discuss: DEV
🧮Theorem Provers
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·8h·
Discuss: Hacker News
🔗Lexical Scoping